1. ......................
پدیدآورنده : Carver, D. K.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Electronic data processing,Programming ، Electronic digital computers,، Programming languages )Electronic computers(
رده :
QA
76
.
C362
2. ASIAN 2003 :--Advances in computing science
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer science ; Congresses ; Programming languages (Electronic computers) ; Congresses ; Electronic data processing ; Congresses ; Saraswat, Vijay ;
3. Algebraic Informatics
پدیدآورنده : \ Andreas Maletti (Ed.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Algebra -- Data processing -- Congresses.,مهندسی نرم افزار ,زبانهای برنامهنویسی کامپیوتر -- معنی شناسی -- کنگره ها ,جبر -- دادهپردازی -- کنگره ها
رده :
QA
76
.
76
.
A55
2015
E-Book
,
4. <An> introduction to TTCN - 3
پدیدآورنده : Colin Willcock ... [et al.]&
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : Telecommunication systems, Testing, Data processing,Computer networks, Testing, Data processing,Programming languages (Electronic computers)
رده :
TK
،
5102
,.
84
،.
A5
،
2011
5. An introduction to computers
پدیدآورنده : Vashkevich,Nikol
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع : ، computers,، Electronic data processing.,، Programming languages )Electronic computers(
رده :
QA
76
.
9
.
V33
6. Commercial language systems
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Programming languages )Electronic computers(,، Business-- Data processing
رده :
HF
5548
.
2
.
C5813
7. Complete Java 2 certification study guide
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Electronic data processing personnel ; Certification ; Programming languages (Electronic computers) ; Examinations ; Study guides ; Java (Computer program language) ;
8. Complete Java 2 certification study guide
پدیدآورنده : / Phillip Heller, Simon Roberts
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Electronic data processing personnel- Certification,Programming languages (Electronic computers)- Examinations Study guides,Java (Computer program language)
رده :
QA76
.
3
.
H438
2002
9. Computer languages for numerical control. Proceedings of the second IFIP/IFAC Conference on Progrmming Languages for Machine Tools, PROLAMAT'73, Budapest, April 10-13, 1973
پدیدآورنده : IFIP/IFAC International Conference on Programming Languages for Machine Tools, 2nd, Budapest, 3791
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Programming languages )Electronic computers(-- Machine-tools,، Machine-tools-- Electronic data processing
رده :
QA
76
.
I32
10. Computer methods in mathematics
پدیدآورنده : Albrecht, Bob
کتابخانه: (طهران)
موضوع : ، Mathematics -- Data processing,، Computers,، Programming languages )Electronic computers(
رده :
QA
76
.
5
.
A368
11. Computer science question bank
پدیدآورنده : Basandra, Suresh K.
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Computers,، Electronic data processing,، Programming Languages )Electronic Computers(
رده :
QA
76
.
B3
1996
12. Cooperative interfaces to information systems
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Online data processing,، Programming languages )Electronic computers(,، Information storage and retrieval systems
رده :
QA
76
.
55
.
C66
1986
13. Designing systems programs
پدیدآورنده : GAUTHIER,RICHARD L
کتابخانه: (طهران)
موضوع : ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , LANGUAGE & LANGUAGES-DATA PROCESSING , COMPILING )ELECTRONIC COMPUTER
رده :
QA
76
.
5
.
G35
14. Finite representations of CCS and TCSP programs by automata and Petri nets
پدیدآورنده : Taubner, Dirk
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : Distributed processing ، Electronic data processing,، Petri nets,، Programming languages )Electronic computers(
رده :
QA
76
.
9
.
D5
.
T39
1989
15. Finite representations of CCS and TCSP programs by automata and Petri nets
پدیدآورنده : Taubner, Dirk
کتابخانه: (طهران)
موضوع : ، Electronic data processing -- Distributed processing,، Petri nets,، Programming languages )Electronic computers(
رده :
QA
76
.
9
.
D5
T39
1989
16. Finite representations of CCS and TCSP programs by automata and Petri nets
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Electronic data processing ; Distributed processing. ; Petri nets. ; Programming languages (Electronic computers) ;
17. Formal methods for concurrency
پدیدآورنده : Fencott, Clive
کتابخانه: (طهران)
موضوع : Real-time data processing , Real-time programming , Programming Languages )Electronic computers(
رده :
QA
76
.
54
.
F46
1996
18. Handbook of circuit analysis languages and techniques
پدیدآورنده : editors, Randall W. Jensen, Lawrence P. McNamee
کتابخانه: (طهران)
موضوع : ، Electronic circuit design -- Data processing,، Programming languages )Electronic computers(
رده :
TK
7867
.
J39
19. Handbook of circuit analysis languages and techniques
پدیدآورنده : editors, Randall W. Jensen, Lawrence P. McNamee
کتابخانه: كتابخانه مركزي دانشكده نفت اهواز (خوزستان)
موضوع : Electronic circuit design- Data processing,Programming languages (Electronic computers)
رده :
TK
,
7867
,.
H35
,
1976
20. Introducing regular expressions
پدیدآورنده : \ Michael Fitzgerald
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Text processing (Computer science),Programming languages (Electronic computers),Electronic data processeing,data processing,متنپردازی,زبانهای برنامهنویسی کامپیوتر,داده پردازی ,a03,a04,a05,a05,a03,a04,a05
رده :
QA
76
.
9
.
F5I5
2012
E-Book
,